Achieving diverse redundancy for GPU Kernels

نویسندگان

چکیده

Autonomous driving requires high-performance computing devices including general-purpose CPUs as well specific accelerators, with GPUs having a key role due to their flexibility. Safety-critical microcontrollers have achieved ASIL-D compliance by implementing diverse redundancy lockstep execution on-chip. However, GPU does not provide natively, thus failing reach ASIL-D, which could only be reached fully redundant lockstepped (2 GPUs) or pairing another accelerator. both options may infeasible procurement costs, and additional power, space reliability costs accomodate two devices. In this work, we present variety of solutions enable using one taking advantage the already internal GPUs. We lowly-intrusive hardware software-only solution, latter evaluated directly on real platform. case kernel require tailoring some parameters. With that objective, also propose an algorithm performs such automatically guarantee Overall, our allow achieving single either Commercial off-the-shelf GPU, in more efficient manner introducing minor changes design.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Accelerating GPU Kernels for Dense Linear Algebra

Implementations of the Basic Linear Algebra Subprograms (BLAS) interface are major building block of dense linear algebra (DLA) libraries, and therefore have to be highly optimized. We present some techniques and implementations that significantly accelerate the corresponding routines from currently available libraries for GPUs. In particular, Pointer Redirecting – a set of GPU specific optimiz...

متن کامل

Automatic Termination Analysis for GPU Kernels∗

We describe a method for proving termination of massively parallel GPU kernels. An implementation in KITTeL is able to show termination of 94% of the 598 kernels in our benchmark suite.

متن کامل

On Static Timing Analysis of GPU Kernels

We study static timing analysis of programs running on GPU accelerators. Such programs follow a data parallel programming model that allows massive parallelism on manycore processors. Data parallel programming and GPUs as accelerators have received wide use during the recent years. The timing analysis of programs running on single core machines is well known and applied also in practice. Howeve...

متن کامل

Performance Degradation Analysis of GPU Kernels

Hardware accelerators (currently Graphical Processing Units or GPUs) are an important component in many existing high-performance computing solutions [5]. Their growth in variety and usage is expected to skyrocket [1] due to many reasons. First, GPUs offer impressive energy efficiencies [3]. Second, when properly programmed, they yield impressive speedups by allowing programmers to model their ...

متن کامل

Engineering a Static Verification Tool for GPU Kernels

We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by helping to inform future tooling efforts.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Emerging Topics in Computing

سال: 2021

ISSN: ['2168-6750', '2376-4562']

DOI: https://doi.org/10.1109/tetc.2021.3101922